//
// Created by jsjxsy on 2022/7/5.
//

// Compile with Warning Level4 (/W4) and /std:c11
#include <stdio.h>
#include <stdlib.h>
#include <stdnoreturn.h>

noreturn void fatal_error(void) {
  exit(3);
}

_Noreturn void not_coming_back(void) {
  puts("There's no coming back");
  fatal_error();
  return; // warning C4645 - function declared with noreturn has a return statement
}

void done(void) {
  puts("We'll never get here");
}

int main(void) {
  not_coming_back();
  done(); // warning c4702 - unreachable code

  return 0;
}